// Copyright (C) 2020 Alexey Shvayka. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
esid: sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p
description: >
  If "has" trap is null or undefined, [[HasProperty]] call is properly
  forwarded to [[ProxyTarget]] (which is also a Proxy object).
info: |
  [[HasProperty]] ( P )

  [...]
  5. Let target be O.[[ProxyTarget]].
  6. Let trap be ? GetMethod(handler, "has").
  7. If trap is undefined, then
    a. Return ? target.[[HasProperty]](P).
features: [Proxy, Symbol, Reflect]
---*/

function Test() {
    var stringTarget = new Proxy(new String("str"), {});
    var stringProxy = new Proxy(stringTarget, {
      get: null,
    });

    assert(Reflect.has(stringProxy, "length"));
    assert(0 in stringProxy);
    assert(!(4 in stringProxy));


    var sym = Symbol();
    var target = new Proxy({}, {
      has: function(_target, key) {
        return [sym, "6", "foo"].includes(key);
      },
    });

    var proxy = new Proxy(target, {
      get: null,
    });

    assert(Reflect.has(proxy, sym));
    assert("6" in proxy);
    assert("foo" in Object.create(proxy));
    assert(!("bar" in proxy));
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}
